Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
004414 | J. Espírito Santo [Portugal] ; S. Ghilezan [Serbie] ; J. Iveti [Serbie] | Characterising Strongly Normalising Intuitionistic Sequent Terms |
This area was generated with Dilib version V0.6.33. |